%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Pre-processing                          : 0.08s
%% Hypothesis Space Generation             : 0.051s
%% Conflict analysis                       : 24.844s
%%   - Brave Orders                        : 24.844s
%% Counterexample search                   : 2.693s
%%   - CDOEs                               : 1.762s
%%   - CDPIs                               : 0.932s
%% Hypothesis Search                       : 170.167s
%% Propagation                             : 51.371s
%%   - CDOEs                               : 51.371s
%% Total                                   : 250.762s
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:~ value(farinacei,V1).[-V1@2, V1]
:~ value(frutta,V1), category(1).[-V1@3, V1]

